Search Results
PLSE Seminar Series Ranjit Jhala, "Refinement Types for Dynamic Languages"
Implementing the Refinement Types Tutorial (Intro)
Refinement Types for TypeScript - Panagiotis Vekris
Ranjit Jhala - Language-Integrated Verification
An Introduction to Refinement Types
Pursuing Practical Refinement Types by Michael Perucca
[TyDe'22] Structural Refinement Types
07 Bounded Refinement Types
Liquid Types
Ranjit Jhala - Liquid Haskell
Program Synthesis from Refinement Types
Dependent types vs refinement types (4 Solutions!!)